Definitions
Sorry, no definitions found. You may find more data at r and t.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word R and T.
Examples
-
The next theorem lists correspondences that obtain between the implicational fragments of the relevance logics R and T and some combinatory bases that are of interest in themselves.
Combinatory Logic Bimbó, Katalin 2008
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.